<div>
  Specify the encoding of contents of the files.
  If not specified, default encoding of the platform is used.
</div>
